$\forall$$A$, $B$, $C$:Type. S $\in$ ($A$$\rightarrow$$B$$\rightarrow$$C$)$\rightarrow$($A$$\rightarrow$$B$)$\rightarrow$$A$$\rightarrow$$C$